آیا عزاداری برای امام حسین علیه‏السلام، در زمان امامان علیهم‏السلام سابقه دارد؟